de morgan's Law in Boolean Algebra